Prototyping Formal System Models with Active Objects
نویسندگان
چکیده
منابع مشابه
System Level Performance Analysis with Formal Methods and Virtual Prototyping
The timing of modern multiprocessor systems is increasingly difficult to predict due to complex intercomponent timing dependencies. Therefore, reliable methods for performance analysis are essential in order to predict both average case and worst-case behavior. In this paper, we investigate the timing of multiprocessor-systems-on-chips, where computation and communication between the individual...
متن کاملPhysical Models of Gis Objects by Rapid Prototyping
During the last years new technical solutions for the fast and inexpensive production of mechanical parts were developed. The prototypes are built by computer-controlled devices using a numerical description of the part. The prototypes serve mainly to judge on the form and appearance of the final parts. The available technical solutions for rapid prototyping were evaluated to build physical mod...
متن کاملMoving Objects Tracking Using Statistical Models
Object detection plays an important role in successfulness of a wide range of applications that involve images as input data. In this paper we have presented a new approach for background modeling by nonconsecutive frames differencing. Direction and velocity of moving objects have been extracted in order to get an appropriate sequence of frames to perform frame subtraction. Stationary parts of ...
متن کاملMoving Objects Tracking Using Statistical Models
Object detection plays an important role in successfulness of a wide range of applications that involve images as input data. In this paper we have presented a new approach for background modeling by nonconsecutive frames differencing. Direction and velocity of moving objects have been extracted in order to get an appropriate sequence of frames to perform frame subtraction. Stationary parts of ...
متن کاملFormal definitions of behavioural compatibility for active and passive objects
The modular reenement of object-oriented specii-cations requires a sound theory of behavioural compatibility of classes. Such a theory will depend on the way in which objects of a class interact with their environment. This paper deenes two notions of behavioural compatibility. Observational compatibility is relevant when an active object is placed within a passive environment and operational c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.279.7